Java Modeling Language - PDFSEARCH.IO - Document Search Engine

Java Modeling Language
Results: 101

#	Item
91	Verifying Object-Oriented Programs with KeY: A Tutorial Wolfgang Ahrendt1 , Bernhard Beckert2 , Reiner H¨ ahnle1 , Philipp R¨ ummer1 , 3 Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2008-12-01 03:14:07 Formal methods Automated theorem proving Logic in computer science KeY Java Modeling Language Proof assistant Formal verification Java Logic programming Theoretical computer science Computing Applied mathematics
92	Practice of Programming using Java Lecture 12 July 4, 2006. 68 pm Rushikesh K Joshi Department of Computer Science and Engineering Indian Institute of Technology Bombay Add to Reading List Source URL: www.cse.iitb.ac.in Language: English - Date: 2006-07-05 07:04:12 Java programming language C++ Object-oriented programming Inner class Unified Modeling Language Class Java Interface D Software engineering Computing Computer programming
93	Beyond Assertions: Advanced Specification and Verification with JML and ESC/Java2 Patrice Chalin1 , Joseph R. Kiniry2 , Gary T. Leavens3 , and Erik Poll4 Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2006-06-01 14:01:26 Logic in computer science Formal methods Programming paradigms Java Modeling Language Java platform Object-oriented programming Postcondition Class invariant Design by contract Software engineering Computing Theoretical computer science
94	iPlasma: An Integrated Platform for Quality Assessment of Object-Oriented Design Add to Reading List Source URL: www.inf.usi.ch Language: English Software metrics NDepend Cohesion Modeling language Understand Java MSR Tools Unified Code Count Software engineering Software Computing
95	Appeared in ICSC[removed]Modeling Discriminative Global Inference Add to Reading List Source URL: l2r.cs.uiuc.edu Language: English - Date: 2007-09-22 23:27:00 Mathematics Operations research Data types Java programming language Learning Based Java Linear programming Function Constraint optimization Machine learning Software engineering Constraint programming Computer programming
96	XMI and MOF: a mini-tutorial Perdita Stevens Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2004-06-28 10:38:14 Software design XML Metadata Interchange Meta-Object Facility Object Constraint Language Metamodeling UML tool Java Metadata Interface Unified Modeling Language Software engineering Software development
97	Using BlueJ to Introduce Programming Michael Kölling University of Kent, Canterbury, Kent CT2 7NF, Add to Reading List Source URL: www.cs.kent.ac.uk Language: English - Date: 2008-04-01 10:07:43 Object-oriented programming BlueJ Cross-platform software Michael Kölling Blue Java JUnit Object Unified Modeling Language Software Computing Integrated development environments
98	PDF Document Add to Reading List Source URL: www.ict.swin.edu.au Language: English - Date: 2011-02-12 17:24:27 Component-based software engineering Java enterprise platform Object-oriented programming Aspect-oriented software development Web application frameworks Enterprise JavaBeans Unified Modeling Language Java Platform Enterprise Edition Swing Computing Software engineering Software
99	PDF Document Add to Reading List Source URL: www.eden-study.org Language: English - Date: 2008-06-27 05:30:56 Object-oriented programming Java platform Programming paradigms Software design patterns Cross-platform software LePUS3 Java Foundation Classes Modeling language Abstraction Computing Software engineering Computer programming
100	PDF Document Add to Reading List Source URL: people.engr.ncsu.edu Language: English - Date: 2007-03-06 16:50:21 Software testing Extreme programming Java platform Cross-platform software Java Modeling Language Software design patterns Objective-C KeY Unit testing Computing Software engineering Computer programming